A Category Theoretic View of Nondeterministic Recursive Program Schemes
نویسنده
چکیده
Deterministic recursive program schemes (RPS’s) have a clear category theoretic semantics presented by Ghani et al. and by Milius and Moss. Here we extend it to nondeterministic RPS’s. We provide a category theoretic notion of guardedness and of solutions. Our main result is a description of the canonical greatest solution for every guarded nondeterministic RPS, thereby giving a category theoretic semantics for nondeterministic RPS’s. We show how our notions and results are connected to classical work. 1998 ACM Subject Classification F.3.3 Studies of Program Constructs; F.1.2 Modes of Computation
منابع مشابه
The Category Theoretic Solution of Recursive Program Schemes (Corrigendum)†
This is a corrigendum for our paper [MM]. The main results are correct, but we offer some changes to the definitions and proofs concerning interpreted recursive program schemes.
متن کاملThe Category Theoretic Solution of Recursive Program Schemes
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoretic version of the classical area of algebraic semantics. The overall assumptions needed are small indeed: working only in categories with “enough final coalgebras” we show how to formulate, solve, and study recursive p...
متن کاملVerification of Concurrent Programs: The Automata-Theoretic Framework
We present an automata-theoretic framework to the veriication of concurrent and nondeterministic programs. The basic idea is that to verify that a program P is correct one writes a program A that receives the computation of P as input and diverges only on incorrect computations of P. Now P is correct if and only if a program P A , obtained by combining P and A, terminates. We formalize this ide...
متن کاملWhat’s behind meaning?
The paper addresses the main questions to be dealt with by any semantic theory which is committed to provide an explanation of how meaning is possible. On one side the paper argues that the resources provided by the development of mathematical logic, theoretical computer science, cognitive psychology, and general linguistics in the 20th Century, however indispensable to investigate the structur...
متن کامل